Type casting example code